Llistar TÃtols per Autor "RodrÃguez Carbonell, Enric"
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
| Format | Data | TÃtol | Autor |
|---|
| Format | Data | TÃtol | Autor |
|---|
|
|
A Write-Based Solver for SAT Modulo the Theory of Arrays |
Bofill Arasa, Miquel
; Nieuwenhuis, Robert
; Oliveras Llunell, Albert
; RodrÃguez Carbonell, Enric
; Rubio, Albert
|
|
2008 |
A Write-Based Solver for SAT Modulo the Theory of Arrays |
Bofill Arasa, Miquel
; Nieuwenhuis, Robert
; Oliveras Llunell, Albert
; RodrÃguez Carbonell, Enric
; Rubio, Albert
|
